翻訳と辞書 Words near each other ・ Flueggea ・ Flueggea anatolica ・ Flueggea elliptica ・ Flueggea neowawraea ・ Flueggea suffruticosa ・ Fluellen ・ Fluellen (surname) ・ Fluellite ・ Fluency ・ Fluency heuristic ・ Fluency Voice Technology ・ Fluendo ・ Fluenetil ・ Fluent ・ Fluent (artificial intelligence) ・ Fluent calculus ・ Fluent Form ・ Fluent in Stroll ・ Fluent interface ・ Fluentd ・ Fluentify ・ FluentQueryBuilder ・ Fluenz (language learning software) ・ Flueraș ・ Fluf ・ Flufenacet ・ Flufenamic acid ・ Fluff ・ Fluff (fiction) ・ Fluff (Swedish band) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Fluent calculus ： ウィキペディア英語版 Fluent calculus The fluent calculus is a formalism for expressing dynamical domains in first-order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol $\backslash circ$ is used to concatenate the terms that represent facts that hold in a situation. For example, that the box is on the table in the situation $s$ is represented by the formula $\backslash exists\; t\; .\; s\; =\; on(box,table)\; \backslash circ\; t$. The frame problem is solved by asserting that the situation after the execution of an action is identical to the one before but for the conditions changed by the action. For example, the action of moving the box from the table to the floor is formalized as: : $State(Do(move(box,table,floor),\; s))\; \backslash circ\; on(box,table)\; =\; State(s)\; \backslash circ\; on(box,floor)$ This formula states that the state after the move is added the term $on(box,floor)$ and removed the term $on(box,table)$. Axioms specifying that $\backslash circ$ is commutative and non-idempotent are necessary for such axioms to work. ==See also== * Fluent (artificial intelligence) * Frame problem * Situation calculus * Event calculus 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Fluent calculus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.